1 www.plat-forms.org Web programming competition report from the Geneva team

Source URL: laurent.dami.free.fr

JO Project Proposal Programming Languages and Translators - Fall 2014 Team [ {

Source URL: www1.cs.columbia.edu

An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionPatchedW. N. Venables, D. M. Smith and the R Core Team

Source URL: cran.bilkent.edu.tr

An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics Version03) W. N. Venables, D. M. Smith and the R Core Team

Source URL: cran.bilkent.edu.tr

An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionUnder developmentW. N. Venables, D. M. Smith and the R Core Team

Source URL: cran.bilkent.edu.tr

Programs from the Book Bit-level certified programming in Coq Pierre-Évariste Dagand Julia Lawall Whisper team

Source URL: pages.lip6.fr

Finite-Sample Analysis in Reinforcement Learning Mohammad Ghavamzadeh INRIA Lille – Nord Europe, Team SequeL Outline

Source URL: mistis.inrialpes.fr

• Mathematics
• Dynamic programming
• Mathematical analysis
• Stochastic control
• Discrete mathematics
• Algebra
• Distribution
• Number theory
• Markov decision process
• Prime-counting function
• Mathematical optimization
• Projection-valued measure

An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics Version10) W. N. Venables, D. M. Smith and the R Core Team

Source URL: cran.r-project.org

Classification-based Policy Iteration with a Critic V. Gabillon1 , A. Lazaric1 , M. Ghavamzadeh1 & B. Scherrer2 1 2 INRIA Lille - Nord Europe, Team Sequel,

Source URL: victorgabillon.nfshost.com

• Dynamic programming
• Markov decision process
• Stochastic control
• Probability theory
• Probability
• Statistics

Chapel: A Productive Parallel Programming Language Lydia Duncan, Chapel Team, Cray Inc. Women Techmakers: Community Tech-Talks January 19th, 2016

Source URL: chapel.cray.com